$\forall$${\it the\_w}$:World, $e$:E. first($e$) $\Leftrightarrow$ ($\forall$${\it t'}$:$\mathbb{N}$. ${\it t'}$$<$time($e$) $\Rightarrow$ isnull(a(loc($e$);${\it t'}$)))